Normal form - PDFSEARCH.IO - Document Search Engine

Normal form
Results: 706

#	Item
641	Removing Left Recursion from Context-Free Grammars£ Robert C. Moore Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2001-09-07 21:56:25 Computer programming Left recursion Context-free grammar Top-down parsing Terminal and nonterminal symbols Formal grammar Greibach normal form Parsing Production Formal languages Software engineering Computing
642	Satisfiability Suggested Format Last revision: May 8, 1993 Add to Reading List Source URL: www.domagoj-babic.com Language: English - Date: 2008-09-07 21:05:56 Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Conjunctive normal form Maximum satisfiability problem Satisfiability 2-satisfiability Theoretical computer science Mathematics Applied mathematics
643	Completeness in the Polynomial-Time Hierarchy A Compendium∗ Marcus Schaefer Add to Reading List Source URL: ovid.cs.depaul.edu Language: English - Date: 2008-10-05 12:49:10 Boolean algebra Logic in computer science NP-complete problems Combinatorics Boolean satisfiability problem Electronic design automation Conjunctive normal form Partition True quantified Boolean formula Theoretical computer science Mathematics Computational complexity theory
644	Clause Form Conversions for Boolean Circuits Paul Jackson and Daniel Sheridan School of Informatics, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-20 12:27:00 Logic Boolean algebra Propositional formula IP 2-satisfiability Theoretical computer science Computational complexity theory Conjunctive normal form
645	C2 FUNDAMENTAL THEORY OF DYNAMICAL SYSTEMS HANDOUT 5 Add to Reading List Source URL: www.ucl.ac.uk Language: English - Date: 2002-06-27 08:28:28 Matrix theory Generalized eigenvector Eigenvalues and eigenvectors Diagonalizable matrix Jordan normal form Matrix Diagonal matrix Eigendecomposition of a matrix Defective matrix Algebra Linear algebra Mathematics
646	On the possibility of faster SAT algorithms Mihai Pˇatra¸scu∗ AT&T Labs Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-11-12 23:47:30 NP-complete problems Logic in computer science Exponential time hypothesis 2-satisfiability Boolean satisfiability problem Conjunctive normal form Time complexity Parameterized complexity Dominating set Theoretical computer science Computational complexity theory Applied mathematics
647	Signal design features • Signal range: context and sender/receiver distance Add to Reading List Source URL: www.scar.toronto.edu Language: English - Date: 2003-03-09 17:27:31 Economics Evolutionarily stable strategy War of attrition Best response Symmetric game Nash equilibrium Normal-form game Outcome Strategy Game theory Problem solving Evolutionary game theory
648	1 Blackwell Games Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2002-09-01 20:32:40 Economics Determinacy Normal-form game Subgame Minimax Nash equilibrium Bayesian game Game theory Problem solving Mathematics
649	The Orientation Manifesto (for undergraduates) Timothy E. Goldberg Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2007-11-11 22:55:18 Differential topology Orientation Linear algebra Vector calculus Differential geometry Orientability Normal Manifold Differential form Algebra Mathematics Geometry
650	Computing the Jordan Canonical Form Let A be an n by n square matrix. If its characteristic equation χA (t) = 0 has a repeated root then A may not be diagonalizable, so we need the Jordan Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2007-10-26 08:30:33 Generalized eigenvector Eigenvalues and eigenvectors Jordan normal form Diagonalizable matrix Matrix Vector space Linear independence Characteristic polynomial Eigenvalue algorithm Algebra Mathematics Linear algebra

UPDATE